main()
  {
    system("mngrboot");
  }
